#include <types.h>
#include <kernel/system.h>
#include <kernel/initcall.h>
#include <drivers/irq.h>
#include <drivers/gpio.h>
#include <kernel/syslog.h>
#include <kernel/kobject.h>
#include <irqnum.h>
#include <drivers/uart.h>
#include <string.h>
#include <kernel/shell.h>


static void delay(int delay)
{
    for(volatile int i = 0; i<delay; i++)
        for(volatile int j=0;j<1000000;j++);
}


int main(void)
{    
    int ret = gpio_request(IO_PC13);
    if(ret) {
        return 0;
    }

    // gpio_free(IO_PC13);

    // ret = gpio_request(IO_PB10);
    // if(ret) {
    //     return 0;
    // }

    gpio_direction_output(IO_PC13, IO_LOW);

    gpio_set_value(IO_PC13, 1);

    while(1) {
        // gpio_set_value(IO_PC13, 0);
        // delay(1000);
        // gpio_set_value(IO_PC13, 1);
        // delay(1000);
        shell_loop();
    }
    return 0;
}
